one state push-down machine

单态下推机